Weierstrass extreme value theorem

#incomplete